Philosophy Dictionary of ArgumentsHome | |||
| |||
Referential Quantification: is an expression for the form of quantification normally used in predicate logic ("There is at least one object x with the property ..." or "For all objects x applies...."). Here, something is said about objects, with their existence being presupposed. On the other hand, substitutional quantification is about linguistic expressions ("There is a true sentence that ..."). The decisive difference between the two types of quantification is that, in the case of the possible replacement of a linguistic expression by another expression, a so-called substitution class must be assumed which cannot exist in the case of objects since the everyday subject domain is not classified into classes is. E.g. you can replace a table by some box, but not the word table by any available word. See also substitutional quantification, quantification, substitution, inference, implication, stronger/weaker._____________Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments. | |||
Author | Concept | Summary/Quotes | Sources |
---|---|---|---|
Stephen Schiffer on Referential Quantification - Dictionary of Arguments
I 274 Referential Quantification/Schiffer: substituents: are not logical constants ((s) = Objects). In First order logic these can only be singular terms. - Values that the objects are in the domain of discourse - they are examined, in order to obtain the truth value of the sentences with referential quantification. Substitutional Quantification: here you can have substitutional variable substituents, but no values. But the substituent can have values. Even in First order logic the expressions can be of every semantic category. >Substitutional quantification. Ontological commitment: only for referential quantification. >Ontological commitment. I 256 Function/Referential quantification/Schiffer: functions require referential quantification instead of substitutional quantification. - ((s) The values of these variables must be objects, such as numbers, not linguistic entities). >Functions._____________Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution. Translations: Dictionary of Arguments The note [Concept/Author], [Author1]Vs[Author2] or [Author]Vs[term] resp. "problem:"/"solution:", "old:"/"new:" and "thesis:" is an addition from the Dictionary of Arguments. If a German edition is specified, the page numbers refer to this edition. |
Schi I St. Schiffer Remnants of Meaning Cambridge 1987 |